Multiple verification in computational modeling of bone pathologies

Multiple verification in computational modeling of bone pathologies

We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting characterization of osteoporosis as a defective bone remodeling dynamics with respect to other bone pathologies. Our approach allows to derive three types of model checking-based diagnostic estimators. The first diagnostic m...

Ship Airwake Computational Modeling Method Verification

Computational Modeling and Verification of Signaling Pathways in Cancer

We propose and analyze a rule-based model of the HMGB1 signaling pathway. The protein HMGB1 can activate a number of regulatory networks – the p53, NFκB, Ras and Rb pathways – that control many physiological processes of the cell. HMGB1 has been recently shown to be implicated in cancer, inflammation and other diseases. In this paper, we focus on the NFκB pathway and construct a crosstalk model...

‘verification and Validation’ in Modeling Fire by Computational Fluid Dynamics

Computational fluid dynamics (CFD) is an important tool in fire safety engineering. CFD is applied in many projects while the global trend is moving towards the implementation of engineering performance-based fire codes. However, questions are always raised on the model credibility. Verification and validation of the CFD predicted results in fire engineering are not yet carried out with systema...

Computational Modeling of Interactions between Multiple Myeloma and the Bone Microenvironment

Multiple Myeloma (MM) is a B-cell malignancy that is characterized by osteolytic bone lesions. It has been postulated that positive feedback loops in the interactions between MM cells and the bone microenvironment form reinforcing 'vicious cycles', resulting in more bone resorption and MM cell population growth in the bone microenvironment. Despite many identified MM-bone interactions, the comb...